Issue950b.agda:19,1-8
Cannot eliminate type  ?0  with projection  x
when checking that the clause x f = ? has type ?0
